1. ......................

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Development - Mathematics - Congresses ، Computer software,Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Programming )Electronic computers(

رده :
QA
76
.
76
.
D47
I57
1985
vol
.
1

2. A beginner's guide to R /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : R (Computer program language),Science-- Statistical methods, Software.,Statistics-- Data processing, Software.,MATHEMATICS-- Probability & Statistics-- General.,R (Computer program language),R (Computer program language),Science-- Statistical methods.,Science-- Statistical methods.,Statistics-- Data processing.,Statistics-- Data processing.

رده :
QA276
.
R3
Z88
2009

3. A beginner's guide to R /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : R (Computer program language),Science-- Statistical methods, Software.,Statistics-- Data processing, Software.,MATHEMATICS-- Probability & Statistics-- General.,R (Computer program language),Science-- Statistical methods.,Statistics-- Data processing.

رده :
QA276
.
45
.
R3
Z88
2009eb

4. Algebraic Complexity Theory

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.

5. Algorithms for Parallel Processing

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Combinatorics.,Computer software.,Mathematics.,Numerical analysis.

6. An Introduction to Quantum Computing Algorithms

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computer software.,Mathematics.,Quantum theory.

7. An introduction to modern econometrics using Stata /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Stata.,Stata.,Econometrics-- Computer programs.,Mathematics [MESH],Mathematics.,Software [MESH],Software.,Dataprocessing.,Econometrics-- Computer programs.,Econometrie.,Econométrie.,Logiciels.,Software.,Traitement électronique des données.

رده :
HB141
.
B38
2006

8. Approximation algorithms and semidefinite programmin

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Approximation algorithms,Semidefinite programming,Mathematics,Information theory,Computer software,Computational complexity,Algorithms,Mathematical optimization,Applications of Mathematics,Theory of Computation,Algorithm Analysis and Problem Complexity,Discrete Mathematics in Computer Science,Optimization

رده :
QA76
.
9
.
A43G37
2012

9. Bidirectional transformations :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Transformations (Mathematics), Congresses.,Business & Economics-- Information Management.,Computer programming-- software development.,Computers-- Database Management-- General.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Databases.,Information architecture.,Software Engineering.,Transformations (Mathematics)

رده :
QA601

10. Building Innovation Pipelines through Computer-Aided Innovation

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Computer simulation.,Computer-aided design.,Engineering mathematics.,Software engineering.

11. Categories for software engineering

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development. ; Categories (Mathematics) ;

12. Categories for software engineering

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Categories (Mathematics),Computer software-- Development

13. Categories for software engineering

پدیدآورنده :

کتابخانه: (کرمان)

موضوع : Computer software- Development,Categories )Mathematics(

رده :
QA
76
.
76
.
D47
,
F53
2005

14. Categories for software engineering

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Computer software- Development,Categories (Mathematics)

رده :
QA76
.
76
.
D47
,
F53
2005

15. Cellular automata and discrete complex systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software

رده :
QA267
.
5
.
C45

16. Certified Programs and Proofs :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.

رده :
QA76
.
9
.
M35
E358
2012

17. Coalgebraic methods in computer science

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses

رده :
QA76
.
9
.
M35
W67
2012eb

18. Coalgebraic methods in computer science :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.

رده :
QA76
.
9
.
M35

19. Collegium Logicum.

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Computer software.,Mathematics.

20. Combinatorial Algorithms

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Data structures (Computer science). ; Application software. ; Computer communication systems. ; Computer graphics. ; Algorithms. ; Discrete Mathematics in Computer Science. ; -Computer science